187 research outputs found

    Syntax for free: representing syntax with binding using parametricity

    Get PDF
    We show that, in a parametric model of polymorphism, the type ∀ α. ((α → α) → α) → (α → α → α) → α is isomorphic to closed de Bruijn terms. That is, the type of closed higher-order abstract syntax terms is isomorphic to a concrete representation. To demonstrate the proof we have constructed a model of parametric polymorphism inside the Coq proof assistant. The proof of the theorem requires parametricity over Kripke relations. We also investigate some variants of this representation

    Measurements of differential production cross sections for a Z boson in association with jets in pp collisions at root s=8 TeV

    Get PDF
    Peer reviewe

    Search for leptophobic Z ' bosons decaying into four-lepton final states in proton-proton collisions at root s=8 TeV

    Get PDF
    Peer reviewe

    Measurement of the mass difference between top quark and antiquark in pp collisions at root s=8 TeV

    Get PDF
    Peer reviewe

    Search for jet extinction in the inclusive jet-pT spectrum from proton-proton collisions at s=8 TeV

    Get PDF
    Published by the American Physical Society under the terms of the Creative Commons Attribution 3.0 License. Further distribution of this work must maintain attribution to the author(s) and the published articles title, journal citation, and DOI.The first search at the LHC for the extinction of QCD jet production is presented, using data collected with the CMS detector corresponding to an integrated luminosity of 10.7  fb−1 of proton-proton collisions at a center-of-mass energy of 8 TeV. The extinction model studied in this analysis is motivated by the search for signatures of strong gravity at the TeV scale (terascale gravity) and assumes the existence of string couplings in the strong-coupling limit. In this limit, the string model predicts the suppression of all high-transverse-momentum standard model processes, including jet production, beyond a certain energy scale. To test this prediction, the measured transverse-momentum spectrum is compared to the theoretical prediction of the standard model. No significant deficit of events is found at high transverse momentum. A 95% confidence level lower limit of 3.3 TeV is set on the extinction mass scale

    Measurement of the Z boson differential cross section in transverse momentum and rapidity in proton-proton collisions at 8 TeV

    Get PDF
    We present a measurement of the Z boson differential cross section in rapidity and transverse momentum using a data sample of pp collision events at a centre-of-mass energy s=8 TeV, corresponding to an integrated luminosity of 19.7 fb-1. The Z boson is identified via its decay to a pair of muons. The measurement provides a precision test of quantum chromodynamics over a large region of phase space. In addition, due to the small experimental uncertainties in the measurement the data has the potential to constrain the gluon parton distribution function in the kinematic regime important for Higgs boson production via gluon fusion. The results agree with the next-to-next-to-leading-order predictions computed with the fewz program. The results are also compared to the commonly used leading-order MadGraph and next-to-leading-order powheg generators. © 2015 CERN for the benefit of the CMS Collaboration

    Search for the associated production of the Higgs boson with a top-quark pair

    Get PDF
    A search for the standard model Higgs boson produced in association with a top-quark pair t t ¯ H (tt¯H) is presented, using data samples corresponding to integrated luminosities of up to 5.1 fb −1 and 19.7 fb −1 collected in pp collisions at center-of-mass energies of 7 TeV and 8 TeV respectively. The search is based on the following signatures of the Higgs boson decay: H → hadrons, H → photons, and H → leptons. The results are characterized by an observed t t ¯ H tt¯H signal strength relative to the standard model cross section, μ = σ/σ SM ,under the assumption that the Higgs boson decays as expected in the standard model. The best fit value is μ = 2.8 ± 1.0 for a Higgs boson mass of 125.6 GeV

    Identification techniques for highly boosted W bosons that decay into hadrons

    Get PDF

    Phenomenological MSSM interpretation of CMS searches in pp collisions at √s=7 and 8 TeV

    Get PDF
    Searches for new physics by the CMS collaboration are interpreted in the framework of the phenomenological minimal supersymmetric standard model (pMSSM). The data samples used in this study were collected at root s = 7 and 8 TeV and have integrated luminosities of 5.0 fb(-1) and 19.5 fb(-1), respectively. A global Bayesian analysis is performed, incorporating results from a broad range of CMS supersymmetry searches, as well as constraints from other experiments. Because the pMSSM incorporates several well-motivated assumptions that reduce the 120 parameters of the MSSM to just 19 parameters defined at the electroweak scale, it is possible to assess the results of the study in a relatively straightforward way. Approximately half of the model points in a potentially accessible subspace of the pMSSM are excluded, including all pMSSM model points with a gluino mass below 500 GeV, as well as models with a squark mass less than 300 GeV. Models with chargino and neutralino masses below 200 GeV are disfavored, but no mass range of model points can be ruled out based on the analyses considered. The nonexcluded regions in the pMSSM parameter space are characterized in terms of physical processes and key observables, and implications for future searches are discussed

    Search for neutral resonances decaying into a Z boson and a pair of b jets or τ leptons

    Get PDF
    A search is performed for a new resonance decaying into a lighter resonance and a Z boson. Two channels are studied, targeting the decay of the lighter resonance into either a pair of oppositely charged τ leptons or a bb‾ pair. The Z boson is identified via its decays to electrons or muons. The search exploits data collected by the CMS experiment at a centre-of-mass energy of 8 TeV, corresponding to an integrated luminosity of 19.8 fb −1 . No significant deviations are observed from the standard model expectation and limits are set on production cross sections and parameters of two-Higgs-doublet models
    corecore